<html>
<head><meta charset="utf-8"><title>I-prioritize #77656 ICE: Projection bound ... was applicabl… · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377656.20ICE.3A.20Projection.20bound.20.2E.2E.2E.20was.20applicabl.E2.80.A6.html">I-prioritize #77656 ICE: Projection bound ... was applicabl…</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="212580807"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377656%20ICE%3A%20Projection%20bound%20...%20was%20applicabl%E2%80%A6/near/212580807" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377656.20ICE.3A.20Projection.20bound.20.2E.2E.2E.20was.20applicabl.E2.80.A6.html#212580807">(Oct 07 2020 at 16:02)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/77656">#77656</a> has been requested for prioritization.</p>
<h1><a href="https://forge.rust-lang.org/compiler/prioritization/procedure.html#assign-priority-to-unprioritized-issues-with-i-prioritize-label">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="212605100"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377656%20ICE%3A%20Projection%20bound%20...%20was%20applicabl%E2%80%A6/near/212605100" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377656.20ICE.3A.20Projection.20bound.20.2E.2E.2E.20was.20applicabl.E2.80.A6.html#212605100">(Oct 07 2020 at 19:08)</a>:</h4>
<p>this one needs prioritization</p>



<a name="212605179"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377656%20ICE%3A%20Projection%20bound%20...%20was%20applicabl%E2%80%A6/near/212605179" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377656.20ICE.3A.20Projection.20bound.20.2E.2E.2E.20was.20applicabl.E2.80.A6.html#212605179">(Oct 07 2020 at 19:09)</a>:</h4>
<p>I'd say <code>P-critical</code></p>



<a name="212605200"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377656%20ICE%3A%20Projection%20bound%20...%20was%20applicabl%E2%80%A6/near/212605200" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377656.20ICE.3A.20Projection.20bound.20.2E.2E.2E.20was.20applicabl.E2.80.A6.html#212605200">(Oct 07 2020 at 19:09)</a>:</h4>
<p>but checking a bit more</p>



<a name="212605300"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377656%20ICE%3A%20Projection%20bound%20...%20was%20applicabl%E2%80%A6/near/212605300" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377656.20ICE.3A.20Projection.20bound.20.2E.2E.2E.20was.20applicabl.E2.80.A6.html#212605300">(Oct 07 2020 at 19:10)</a>:</h4>
<p>yeah IMHO it's <code>P-critical</code></p>



<a name="212605310"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377656%20ICE%3A%20Projection%20bound%20...%20was%20applicabl%E2%80%A6/near/212605310" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377656.20ICE.3A.20Projection.20bound.20.2E.2E.2E.20was.20applicabl.E2.80.A6.html#212605310">(Oct 07 2020 at 19:10)</a>:</h4>
<p>previously working code now ICEs</p>



<a name="212605344"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377656%20ICE%3A%20Projection%20bound%20...%20was%20applicabl%E2%80%A6/near/212605344" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Stu <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377656.20ICE.3A.20Projection.20bound.20.2E.2E.2E.20was.20applicabl.E2.80.A6.html#212605344">(Oct 07 2020 at 19:10)</a>:</h4>
<p>yea seems like a good choice</p>



<a name="212605413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377656%20ICE%3A%20Projection%20bound%20...%20was%20applicabl%E2%80%A6/near/212605413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377656.20ICE.3A.20Projection.20bound.20.2E.2E.2E.20was.20applicabl.E2.80.A6.html#212605413">(Oct 07 2020 at 19:11)</a>:</h4>
<p>someone tried to run cargo-bisect-rustc but were not able</p>



<a name="212605428"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377656%20ICE%3A%20Projection%20bound%20...%20was%20applicabl%E2%80%A6/near/212605428" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Stu <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377656.20ICE.3A.20Projection.20bound.20.2E.2E.2E.20was.20applicabl.E2.80.A6.html#212605428">(Oct 07 2020 at 19:11)</a>:</h4>
<p>I will try to bisect it</p>



<a name="212605429"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377656%20ICE%3A%20Projection%20bound%20...%20was%20applicabl%E2%80%A6/near/212605429" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377656.20ICE.3A.20Projection.20bound.20.2E.2E.2E.20was.20applicabl.E2.80.A6.html#212605429">(Oct 07 2020 at 19:11)</a>:</h4>
<p>it needs a flag when ICEs</p>



<a name="212605446"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377656%20ICE%3A%20Projection%20bound%20...%20was%20applicabl%E2%80%A6/near/212605446" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377656.20ICE.3A.20Projection.20bound.20.2E.2E.2E.20was.20applicabl.E2.80.A6.html#212605446">(Oct 07 2020 at 19:11)</a>:</h4>
<p>don't remember from the top of my head</p>



<a name="212605473"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377656%20ICE%3A%20Projection%20bound%20...%20was%20applicabl%E2%80%A6/near/212605473" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377656.20ICE.3A.20Projection.20bound.20.2E.2E.2E.20was.20applicabl.E2.80.A6.html#212605473">(Oct 07 2020 at 19:11)</a>:</h4>
<p><code>cargo bisect-rustc error=ice</code> or something like that</p>



<a name="212605491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377656%20ICE%3A%20Projection%20bound%20...%20was%20applicabl%E2%80%A6/near/212605491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Stu <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377656.20ICE.3A.20Projection.20bound.20.2E.2E.2E.20was.20applicabl.E2.80.A6.html#212605491">(Oct 07 2020 at 19:11)</a>:</h4>
<p>I know it :) <code>--regress=ice</code></p>



<a name="212605521"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377656%20ICE%3A%20Projection%20bound%20...%20was%20applicabl%E2%80%A6/near/212605521" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377656.20ICE.3A.20Projection.20bound.20.2E.2E.2E.20was.20applicabl.E2.80.A6.html#212605521">(Oct 07 2020 at 19:12)</a>:</h4>
<p>right</p>



<a name="212605662"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377656%20ICE%3A%20Projection%20bound%20...%20was%20applicabl%E2%80%A6/near/212605662" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377656.20ICE.3A.20Projection.20bound.20.2E.2E.2E.20was.20applicabl.E2.80.A6.html#212605662">(Oct 07 2020 at 19:13)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/77656">#77656</a>'s prioritization request has been removed.</p>



<a name="212615350"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377656%20ICE%3A%20Projection%20bound%20...%20was%20applicabl%E2%80%A6/near/212615350" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377656.20ICE.3A.20Projection.20bound.20.2E.2E.2E.20was.20applicabl.E2.80.A6.html#212615350">(Oct 07 2020 at 20:31)</a>:</h4>
<p><span class="user-mention" data-user-id="230287">@Stu</span> the commit identified by the bisect and the PR <a href="https://github.com/rust-lang/rust/issues/72905">#72905</a> are the same of of issue <a href="https://github.com/rust-lang/rust/issues/77638#issuecomment-704682288">#77638</a>, right?</p>



<a name="212615443"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377656%20ICE%3A%20Projection%20bound%20...%20was%20applicabl%E2%80%A6/near/212615443" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Stu <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377656.20ICE.3A.20Projection.20bound.20.2E.2E.2E.20was.20applicabl.E2.80.A6.html#212615443">(Oct 07 2020 at 20:32)</a>:</h4>
<p>Yes should be</p>



<a name="212615558"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377656%20ICE%3A%20Projection%20bound%20...%20was%20applicabl%E2%80%A6/near/212615558" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377656.20ICE.3A.20Projection.20bound.20.2E.2E.2E.20was.20applicabl.E2.80.A6.html#212615558">(Oct 07 2020 at 20:33)</a>:</h4>
<p><span class="user-mention" data-user-id="230287">@Stu</span> By the way, a tip: GitHub will auto-link commits, so you don't have to resolve them yourself :)</p>



<a name="212615579"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377656%20ICE%3A%20Projection%20bound%20...%20was%20applicabl%E2%80%A6/near/212615579" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Stu <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377656.20ICE.3A.20Projection.20bound.20.2E.2E.2E.20was.20applicabl.E2.80.A6.html#212615579">(Oct 07 2020 at 20:33)</a>:</h4>
<p>Oh that’s good 😅</p>



<a name="212619144"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377656%20ICE%3A%20Projection%20bound%20...%20was%20applicabl%E2%80%A6/near/212619144" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377656.20ICE.3A.20Projection.20bound.20.2E.2E.2E.20was.20applicabl.E2.80.A6.html#212619144">(Oct 07 2020 at 21:06)</a>:</h4>
<p>In particular I think it makes working with <code>cargo-bisect-rustc</code>'s output much easier</p>



<a name="212619239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377656%20ICE%3A%20Projection%20bound%20...%20was%20applicabl%E2%80%A6/near/212619239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377656.20ICE.3A.20Projection.20bound.20.2E.2E.2E.20was.20applicabl.E2.80.A6.html#212619239">(Oct 07 2020 at 21:06)</a>:</h4>
<p>Because you can just copy-paste the report in GitHub, it just works<span aria-label="tm" class="emoji emoji-2122" role="img" title="tm">:tm:</span></p>



<a name="212619260"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377656%20ICE%3A%20Projection%20bound%20...%20was%20applicabl%E2%80%A6/near/212619260" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377656.20ICE.3A.20Projection.20bound.20.2E.2E.2E.20was.20applicabl.E2.80.A6.html#212619260">(Oct 07 2020 at 21:06)</a>:</h4>
<p>And you can still work with the raw commits</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>